DifferenceRoot

DifferenceRoot[lde][k] gives the holonomic sequence h(k), specified by the linear difference equation lde[h,k].

DifferenceRoot[lde] represents a pure holonomic sequence h.

Please visit the official Wolfram Language Reference for more details and examples on core symbols.